Conservation Revisited

The Conservation Theorem revisited

This paper describes a method of proving strong normalization based on an extension of the conservation theorem. We introduce a structural notion of reduction that we call βS , and we prove that any λ-term that has a βIβS-normal form is strongly β-normalizable. We show how to use this result to prove the strong normalization of different typed λ-calculi.

Tenancy and Soil Conservation Revisited

QUICKSELECT Revisited

We give an overview of the running time analysis of the random divide-and-conquer algorithm FIND or QUICKSELECT. The results concern moments, distribution of FIND’s running time, the limiting distribution, a stochastic bound and the key: a stochastic fixed point equation.

Conservation Priorities when Species Interact: The Noah's Ark Metaphor Revisited

This note incorporates ecological interactions into the Noah's Ark problem. In doing so, we arrive at a general model for ranking in situ conservation projects accounting for species interrelations and provide an operational cost-effectiveness method for the selection of best preserving diversity projects under a limited budget constraint.

Entropy conditions for scalar conservation laws with discontinuous flux revisited

We propose new entropy admissibility conditions for multidimensional hyperbolic scalar conservation laws with discontinuous flux which generalize one-dimensional Karlsen-Risebro-Towers entropy conditions. These new conditions are designed, in particular, in order to characterize the limit of vanishing viscosity approximations. On the one hand, they comply quite naturally with a certain class of...